翻訳と辞書 Words near each other ・ Formula e pagëzimit ・ Formula Easter ・ Formula editor ・ Formula F100 ・ Formula fiction ・ Formula Five ・ Formula for a Murder ・ Formula for change ・ Formula for primes ・ Formula Ford ・ Formula Ford 1600 ・ Formula Ford EuroCup ・ Formula Ford Festival ・ Formula funds ・ Formula Future Fiat ・ Formula game ・ Formula grant ・ Formula Holden ・ Formula Hybrid ・ Formula Junior ・ Formula Kart Stars ・ Formula König ・ Formula language ・ Formula LGB ・ Formula LGB Hyundai ・ Formula LGB Swift ・ Formula Libre ・ Formula Lightning ・ Formula Lites ・ Formula LO Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Formula game ： ウィキペディア英語版 Formula game A formula game is an artificial game represented by a fully quantified Boolean formula. Players' turns alternate and the space of possible moves is denoted by bound variables. If a variable is universally quantified, the formula following it has the same truth value as the formula beginning with the universal quantifier regardless of the move taken. If a variable is existentially quantified, the formula following it has the same truth value as the formula beginning with the existential quantifier for at least one move available at the turn. Turns alternate, and a player loses if he cannot move at his turn. In computational complexity theory, the language FORMULA-GAME is defined as all formulas $\backslash Phi$ such that Player 1 has a winning strategy in the game represented by $\backslash Phi$. FORMULA-GAME is PSPACE-complete. ==References== * Sipser, Michael. (2006). ''Introduction to the Theory of Computation''. Boston: Thomson Course Technology. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Formula game」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.